Logical Termination of Workflows: An Interdisciplinary Approach
نویسنده
چکیده
In this paper we present a new formalism to study the structure of workflows. A workflow is an abstraction of a business process that consists of one or more activities that need to be executed to reach a final objective. Our formalism is based on Graph Theory, Propositional Logic, and Boolean matrices. Indeed, we model workflows with tri-logic acyclic directed graphs. Moreover, we analyze the behavior of workflows using a certain type of Boolean matrices. In particular, we establish a necessary and sufficient condition for the logical termination of workflows. Finally, we show that a derived workflow has the same behavior as the original workflow. c ⃝ 2011 European Society of Computational Methods in Sciences and Engineering
منابع مشابه
Verifying the Logical Termination of Workflows
Systems and infrastructures are currently being developed to support e-commerce activities. Workflow management systems and workflows are one of the strong technological candidates to deploy and support e-commerce applications. E-commerce workflows require a precise modeling to ensure that they perform according to initial specifications. Important advancements have been accomplished in the dev...
متن کاملTermination of Workflows A snapshot-based approach
A workflow is a set of activities usually organized using a graph structure that has one beginning and one end. A workflow includes human participants and software applications that have the responsibility to carry out activities. A workflow is known to be the formal definition of the process used to manage business processes (e.g., sales order processing, article reviewing, member registration...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملDealing with Logical Failures for Collaborating Workflows
Logical failures occurring during workflow execution require the dynamic adaptation of affected workflows. The consequences such a dynamic adaptation may have for collaborating workflows have not yet been investigated sufficiently. We propose a rule-based approach for dynamic workflow adaptation to deal with logical failures. In our approach, workflow collaboration is based on agreements specif...
متن کاملResolving the food security problem with an interdisciplinary approach
Food is one of the basic human needsand providing it is directly related to food security. The concept of food security in its historical process has been debated from various aspects of physical and economical access to healthy and nutritious food at all times. Food insecurity is considered a complex policy problem with different aspects. This problem requires a network of communication among ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010